Using Formal Methods to increase confidence in one Home Network System implementation: Case study
نویسندگان
چکیده
A home network system consists of multiple networked appliances, intended to provide more convenient and comfortable living for home users. Before being deployed, one has to guarantee the correctness, the safety and the security of the system. Here, we present the approach chosen to validate the Java implementation of one home network system. We relies on the Java Modeling Language (JML), to formaly specify and validate a model of the system. it.
منابع مشابه
Investigation of the Role of Collaboration Network Between State and Formal Public Institutions in Implementation of Watershed Management Projects and Soil Erosion Decrease Case Study: Berentin-Hormozgan Province
In spite of successfulness of watershed management project, this science could not be able to combat soil erosion lonely and it needs the participation of habitants of watersheds that their livelihood completely depends on sustainable resources. So, this research through analysis of collaboration network between state and formal public institutions in implementation of mechanical and biological...
متن کاملCommunicable Diseases Surveillance System in I.R.Iran: Strengths and Weaknesses of 30 years implementation
Background: Communicable diseases was one of the main problems in I.R.Iran. This study aimed to show the progress of communicable diseases management in more than 30 years of implementation and point out strengths and weaknesses as well. Methods: This study was carried out on an interview-based qualitative study using content analysis in 2014. Data was collected by deep interviews. Fifteen ...
متن کاملComparison on efficacy of family planning education based on individual education vs health system education
Family planning is programming about future of reproductive reproduction. The main aim of this research was to compare the efficacy of family planning education by individual education in residential place and by health system education. In This quazi-experimental study, 120 married women who did not use any contraceptive for purpose of family planning, don’t have intend to be pregnant, w...
متن کاملIdentification and Ranking Green Supplier Selection Criteria Using One-Sample T-Test and FANP Methods: A Case Study for Petrochemical Industry
Increasing global notices in environmental protection, green supply chain management (GSCM) has received much attention by researchers and managers more than the past. Commonly, firms have considered cost criteria to select their suppliers. Despite the fact that there are various papers considering the formal criteria in supplier selection, there is a few limited numbers considering the environ...
متن کاملIdentification and Ranking Green Supplier Selection Criteria Using One-Sample T-Test and FANP Methods: A Case Study for Petrochemical Industry
Increasing global notices in environmental protection, green supply chain management (GSCM) has received much attention by researchers and managers more than the past. Commonly, firms have considered cost criteria to select their suppliers. Despite the fact that there are various papers considering the formal criteria in supplier selection, there is a few limited numbers considering the environ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007